Trial deaths prompt tighter rules

Worries, confusion after cancer trial deaths.

9 DECEMBER 2016 • VOL 354 ISSUE 6317 1211 SCIENCE sciencemag.org P H O T O : S T E V E G S C H M E IS S N E R / S C IE N C E P H O T O L IB R A R Y A n experimental cancer therapy is facing its biggest setback yet, after an unexpected complication killed seven people over about a year, five of them in a single clinical trial. The company, Seattle, Washington–based Juno Therapeutics, has its mos...

Responding to deaths during a clinical trial.

Büchi Complementation Made Tighter

The complementation problem for nondeterministic word automata has numerous applications in formal verification. In particular, the language-containment problem, to which many verification problems is reduced, involves complementation. For automata on finite words, which correspond to safety properties, complementation involves determinization. The 2 blow-up that is caused by the subset constru...

Programming with Tighter Control

This paper formalizes continuations as functions abstracting a delimited context instead of an unlimited one. When made available in an expression language such as Scheme, they provide a functional abstraction of control that can be used as any ordinary procedure. This approach sheds light on the applicative aspects of continuations by getting rid of their imperative part: jumping, and makes it...

Buchi Determinization Made Tighter

By separating the principal acceptance mechanism from the concrete acceptance condition of a given Büchi automaton with n states, Schewe presented the construction of an equivalent deterministic Rabin transition automaton with o((1.65n)n) states via history trees, which can be simply translated to a standard Rabin automaton with o((2.26n)n) states. Apart from the inherent simplicity, Schewe’s c...